-
1 soundness theorem
См. также в других словарях:
Теорема о бесконечных обезьянах — Абсолютно случайным образом ударяя по клавишам пишущей машинки, гипотетическая обезьяна рано или поздно напечатает одну из пьес Шекспира … Википедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
Ранг матрицы — Рангом системы строк (столбцов) матрицы с строк и столбцов называется максимальное число линейно независимых строк (столбцов). Несколько строк (столбцов) называются линейно независимыми, если ни одна из них не выражается линейно через другие.… … Википедия
Полный ранг — Пусть задана любая матрица А с m строк и n столбцов. Рангом системы строк (столбцов) матрицы А называется максимальное число линейно независимых строк(столбцов). Несколько строк (столбцов) называются линейно независимыми, если не одна из них не… … Википедия
РАЗНОСТНЫХ СХЕМ ТЕОРИЯ — раздел вычислительной математики, изучающий методы приближенного решения дифференциальных уравнений путем их замены конечноразностными уравнениями (р а з н о с т н ы м и с х е м а м и). Р. с. т. изучает способы построения разностных схем,… … Математическая энциклопедия
Функция Эйлера — Не следует путать с функцией распределения простых чисел. Первая тысяча значений Функция Эйлера φ(n) мультипликативная … Википедия
ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ — уравнение вида где F заданная действительная функция точки х=(xt, ..., х п )области Dевклидова пространства Е п, и действительных переменных (и(х) неизвестная функция) с неотрицательными целочисленными индексами i1 ,..., in, k=0, ..., т, по… … Математическая энциклопедия
Пространство Соболева — (в математике) функциональное пространство, состоящее из функций из пространства Лебега ( ), имеющих обобщенные производные заданного порядка из . При пространства Соболева являются банаховыми пространствами, а при p=2 пространства Соболева … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
КОШИ ЗАДАЧА — одна из основных задач теории дифференциальных уравнений (обыкновенных и с частными производными); состоит в отыскании решения (интеграла) дифференциального уравнения, удовлетворяющего так наз. начальным условиям (начальным данным). К. з. обычно… … Математическая энциклопедия
УСТОЙЧИВОСТЬ РАЗНОСТНЫХ СХЕМ — одно из важных понятий теории разностных (сеточных) методов, характеризующее непрерывную зависимость решений разностных схем но отношению к входной информации. Точнее, пусть разностная схема (разностный или сеточный аналог исходной задачи)… … Математическая энциклопедия
